%
% Copyright 2020, Data61, CSIRO (ABN 41 687 119 230)
%
% SPDX-License-Identifier: BSD-2-Clause
%

\documentclass[english,a4paper,11pt]{article}
\usepackage{sel4}

\usepackage{url,verbatim,datetime,microtype}

\usepackage[pdftex,pagebackref,hyperindex,bookmarks]{hyperref}
% default no frames around links, dark versions so it prints Ok.
\hypersetup{colorlinks,
            allcolors=neutral,
            anchorcolor=black,
            citecolor=greenDark,
            linkcolor=greenDark,
            pdftitle={capDL Language Specification},
            pdfauthor={Gerwin Klein}}


\begin{document}

\title{capDL Language Specification}
\subtitle{Revision 1.0}
\author{Gerwin Klein}
\date{}

\maketitle

\input{capDL_generated}

\end{document}
